Márk Asztalos : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Don't use scam websites

Livres
Articles (17)
Les plus populaires
Liste
- Liste
- Tableau

1

Manual and automated performance optimization of model transformation systems

Tamás Mészáros, Gergely Mezei, Tihamér Levendovszky, Márk Asztalos

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Année:

2010

Langue:

english

Fichier:

PDF, 486 KB

english, 2010

2

Apolipoprotein A-I, B-100, and B-48 metabolism in subjects with chronic kidney disease, obesity, and the metabolic syndrome

Marcelo C. Batista, Francine K. Welty, Margaret R. Diffenderfer, Mark J. Sarnak, Ernst J. Schaefer, Stefania Lamon-Fava, Bela F. Asztalos, Gregory G. Dolnikowski, Margaret E. Brousseau, Julian B. Mars

Journal:

Année:

2004

Langue:

english

Fichier:

PDF, 101 KB

english, 2004

3

Proximity Electrode Signal Readout of High-Purity Ge Detectors

Amman, Mark, Priest, Anders, Luke, Paul N., Asztalos, Stephen, Sabourov, Konstantin, Vetter, Kai

Journal:

IEEE Transactions on Nuclear Science

Année:

2013

Langue:

english

Fichier:

PDF, 661 KB

english, 2013

4

[IEEE 2010 Third International Conference on Software Testing, Verification and Validation - Paris, France (2010.04.6-2010.04.10)] 2010 Third International Conference on Software Testing, Verification and Validation - Towards Automated, Formal Verification of Model Transformations

Asztalos, Márk, Lengyel, László, Levendovszky, Tihamér

Année:

2010

Langue:

english

Fichier:

PDF, 400 KB

english, 2010

5

Formal specification and analysis of functional properties of graph rewriting-based model transformation

Asztalos, Márk, Lengyel, László, Levendovszky, Tihamér

Journal:

Software Testing, Verification and Reliability

Année:

2013

Langue:

english

Fichier:

PDF, 8.54 MB

english, 2013

6

[IEEE 2010 International Joint Conference on Computational Cybernetics and Technical Informatics - Timisoara, Romania (2010.05.27-2010.05.29)] 2010 International Joint Conference on Computational Cybernetics and Technical Informatics - Formal verification of model transformations: An automated framework

Asztalos, Mark, Madari, Istvan, Vajk, Tamas, Lengyel, Laszlo, Levendovszky, Tihamer

Année:

2010

Langue:

english

Fichier:

PDF, 1.46 MB

english, 2010

7

[IEEE 2010 International Joint Conference on Computational Cybernetics and Technical Informatics - Timisoara, Romania (2010.05.27-2010.05.29)] 2010 International Joint Conference on Computational Cybernetics and Technical Informatics - An overlapped execution technique for graph rewriting rules

Meszaros, Tamas, Asztalos, Mark, Mezei, Gergely

Année:

2010

Langue:

english

Fichier:

PDF, 800 KB

english, 2010

8

[IEEE 2008 IEEE International Conference on Computational Cybernetics (ICCC) - Stara Lesna, Slovakia (2008.11.27-2008.11.29)] 2008 IEEE International Conference on Computational Cybernetics - A Metamodel-Based Matching Algorithm for Model Transformations

Asztalos, Mark, Lengyel, Laszlo

Année:

2008

Langue:

english

Fichier:

PDF, 242 KB

english, 2008

9

Epigenetic Regulation of Learning and Memory by Drosophila EHMT/G9a

Kramer, Jamie M., Kochinke, Korinna, Oortveld, Merel A. W., Marks, Hendrik, Kramer, Daniela, de Jong, Eiko K., Asztalos, Zoltan, Westwood, J. Timothy, Stunnenberg, Hendrik G., Sokolowski, Marla B., Ke

Journal:

Année:

2011

Langue:

english

Fichier:

PDF, 2.72 MB

english, 2011

10

[ACM Press the 6th International Workshop - Denver, Colorado (2009.10.05-2009.10.05)] Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation - MoDeVVa '09 - A formalism for describing modeling transformations for verification

Asztalos, Márk, Lengyel, László, Levendovszky, Tihamér

Année:

2009

Langue:

english

Fichier:

PDF, 250 KB

english, 2009

11

Quality Assured Model-Driven Requirements Engineering and Software Development

Lengyel, László, Mészáros, Tamás, Asztalos, Márk, Boros, Péter, Máté, Attila, Madács, Gábor, Hudák, Péter, Kovács, Kristóf, Tresch, András, Charaf, Hassan

Journal:

The Computer Journal

Année:

2015

Langue:

english

Fichier:

PDF, 690 KB

english, 2015

12

The Management and Outcome of Higher Order Multifetal Pregnancies: Obstetric, Neonatal and Follow-up Data

Yudin, Mark H., Asztalos, Elizabeth V., Jefferies, Ann, Barrett, Jon F.R.

Journal:

Année:

2001

Langue:

english

Fichier:

PDF, 107 KB

english, 2001

13

Growth and Body Composition of Human Milk–fed Premature Infants Provided With Extra Energy and Nutrients Early After Hospital Discharge: 1-year Follow-up

Aimone, Ashley, Rovet, Joanne, Ward, Wendy, Jefferies, Ann, Campbell, Douglas M, Asztalos, Elizabeth, Feldman, Mark, Vaughan, Jennifer, Westall, Carol, Whyte, Hilary, OʼConnor, Deborah L

Journal:

Journal of Pediatric Gastroenterology & Nutrition

Année:

2009

Langue:

english

Fichier:

PDF, 424 KB

english, 2009

14

Detecting subgraph isomorphism with MapReduce

Fehér, Péter, Asztalos, Márk, Vajk, Tamás, Mészáros, Tamás, Lengyel, László

Journal:

The Journal of Supercomputing

Année:

2017

Langue:

english

Fichier:

PDF, 2.28 MB

english, 2017

15

Developmental Outcome of Higher Order Multifetal Pregnancies- A Toronto Experience

Asztalos, Elizabeth V, Jeffreries, Ann, Yudin, Mark, Barrett, Jon

Journal:

Pediatric Research

Année:

1999

Fichier:

PDF, 70 KB

1999

16

New Perspective on Impact of Folic Acid Supplementation during Pregnancy on Neurodevelopment/Autism in the Offspring Children – A Systematic Review

Gao, Yunfei, Sheng, Chao, Xie, Ri-hua, Sun, Wen, Asztalos, Elizabeth, Moddemann, Diane, Zwaigenbaum, Lonnie, Walker, Mark, Wen, Shi Wu, Rosenfeld, Cheryl S.

Journal:

Année:

2016

Langue:

english

Fichier:

PDF, 1.63 MB

english, 2016

17

Systematic review of matching techniques used in model-driven methodologies

Somogyi, Ferenc Attila, Asztalos, Mark

Journal:

Software & Systems Modeling

Année:

2019

Langue:

english

Fichier:

PDF, 2.13 MB

english, 2019